dunck.doc.6 Chapter 5: The Proteus System for the Development of Parallel Applications 143

Source URL: www.kestrel.edu

• Parallel computing
• Computing
• Computer programming
• Software engineering
• Data parallelism
• Proteus
• Implicit parallelism
• Software prototyping
• Concurrent computing
• Message Passing Interface
• SIMD
• Refinement

System Feature Description: Importing Refutations into the GAPT Framework Cvetan Dunchev Alexander Leitsch Tomer Libal

Source URL: www.logic.at

• Automated theorem proving
• Theoretical computer science
• Mathematical logic
• Mathematics
• Proof theory
• Logic in computer science
• Prover9
• Resolution
• Proof compression
• Automated reasoning
• Natural deduction
• Mathematical proof

September 4, 2018 Via Electronic Submission Ann E. Misback Secretary Board of Governors of the Federal Reserve System 20th Street and Constitution Avenue N.W.

Source URL: www.theclearinghouse.org

• Economy
• Money
• Finance
• Market data
• Real-time gross settlement
• Interbank networks
• Federal Reserve System
• Financial regulation
• ISO 20022
• Fedwire
• Society for Worldwide Interbank Financial Telecommunication
• Wire transfer

BlackPearl® Network Attached Storage Easily and affordably manage data while planning for the future with BlackPearl Network Attached Storage (NAS) traditional file system (CIFS/NFS). The multi-functional BlackPearl NAS

Source URL: www.teradactyl.com

• Computing
• Computer data storage
• Server appliance
• Network-attached storage
• Nearline storage
• Converged storage
• Spectra Logic

Ivy: Interactive Verification of Parameterized Systems via Effectively Propositional Reasoning Abstract annotate the system with an inductive invariant and use an

Source URL: www.cs.tau.ac.il

TeraMerge® Enables Multiple Level Synthetic Backup Consolidation for the Full Version of the True incremental Backup System® (Increases Backup Server Performance)

Source URL: www.teradactyl.com

The TypTop System: Personalized Typo-Tolerant Password Checking

Source URL: acmccs.github.io

• Cryptography
• Computer access control
• Computer security
• Password
• Salt
• Challengeresponse authentication
• Crypt
• Brute-force attack
• Key derivation function
• Passphrase
• OTPW

Global ID Roadmap Mapping out the Future Direction for the Global ID System Version 0.2 This document is intended to lay out our thinking on a number of areas where the current Global ID

Source URL: www.globalid.net

• Software
• Computer access control
• Federated identity
• Instant messaging clients
• Computing
• Identity management
• Identity
• Telegram
• Information Card
• Online identity

Virginia Community College System for the year ended June 30, 2017

Source URL: www.apa.virginia.gov

• Prevention
• Computer security
• Computing
• Data security
• Security
• Auditing
• Internal audit
• Information security
• Vulnerability
• Internal control
• Audit
• Security controls